Planning Mathematics