UNDENTED PROOF