Fixing Clocks Leftovers #4 [Given(Full Version)]

Fixing Clocks