module PredicateSpecs class Object < Logic::Predicate def self.inverse self end end # class Object end # module PredicateSpecs