Implement `and-predicate` (`&`)