@dewdness: these proofs | Ecency