<STRONG><FONT COLOR="#000080">invariant</FONT></STRONG>
