no wonder why proof like this one