First Order Time Formula