inverse seen by logic