Monadic predicate logic

Summary