Do we normally have `toString` implementations for this and all the following predicate implementations?