started proof of consistency