Verification_principle loading ...