Invariant

Invariant has not provided any additional information.