Proving A Hazard Was Known In Advance