Planning for Mathematics