Introduction The application of scientific, mathematical, and logical ideas to the ...