Moved GuardedRecursionHelpers. Added boxing postulates.