@dewdness: these proofs