inverse of a statement