Definition of "underproofs"