He's alive\!)) It proves anything you ask:))
Shortened some proofs, improved proof check performance