Plans for Mathematics