"contained in" predicate;
new check methods.