many more theorems about the clock

pushing things up to the prog level