More requires
Settings.solve_to controls what parts to grey out.