The opposite of a: true where a is false, false where it is true.
The value to invert.
Yes/No
What implicit modeling is