Laidlaw mathematics (1987)