Add the predicate "and"
Modify the way to display error