Hazard comments on ToL: Methods and Success