more uniform schedule_theories, notably for "present" and "commit" phase after loading;