Verification_theory loading ...