`enc(coffee cup) == enc(donut)` would be an interesting guarantee.