Now propositions always have schedules.