Negating an ε-δ statement · Proofwise