Filtering true conditional expressions