Fixed the invariant definitions and bigClockScript