SQUASH ME. Trims npeqcompleteness.
SQUASH ME. trims proofs.