latest draft of Chlipala's book