C

#invariant