bins and a bit of proof