Time & Modality C by Arthur N. Prior