Should IncrementClock be changed to be public as well? I noticed you did for the interface and ManualClock. If not being used maybe we should just delete it though.