"There is no inverse of a literal statement."
'inverse' is undefined. We probably also need to explain what they're used for? why they're needed etc.