...
addInvariant and addRule