separate predicate for handling inadmissible expressions