Clock Reasoning