Hazard comments on Declarative Mathematics