Use Sink & Deleted in proof