Paul Laidler: The Need For Machine Validation