checkAll

LawChecker

const

Predicate