mushroom-winners-proof: you know nothing you understand nothing etc etc