formal proof of validity