pub const LOGIC_LEIBNIZ: &str = r#"## Theorem: Leibniz_Identity Given: Clark is Superman. Given: Clark is mortal. Prove: Superman is mortal. Proof: Auto. "#;