Redirecting to Monadic predicate calculus