exact predicat added
validation added