replace retionalInvariants