Monadic_predicate_calculus loading ...