Proof simple things can be complicated (look at the logic) | ScratchStats