Yet another inverse logic