Monotonicity
"Monotonic": When you add assertions, anything that was true before is still true
"Non-monotonic": When you add assertions, something that was previously true may no longer hold
David Booth
12 of 30