Inverse logic