CompareMethos is now also a predicate