Dealing With It (proof) (DWII)