First pass at proofs verification