velleman pdf