the
body of logic
back to home page
