Paradox_(theorem_prover) loading ...