Class TumblingTimeCorrectness