Add proof axiom to concenpts.