unders by proof