Books of Chlipala, Adam