More inverse logic