inverse predicate method now working