Revert "Added a non-required totality hypothesis."

This reverts commit 57708b770c00d1ba6276cda0f02752e147f2f533.