a bit of proof