predicate

val predicate: (P) -> Boolean