forallx an introduction to forral logic.pdf