oh, nice proof!