Before revision: An input that is known to never occur is a can't-happen term.
After revision: An input that is known never to occur is a can't-happen term.