Self-verifying_theories loading ...