there is no pudding -> there is no proof