improving reference to Flach book
iterating on the underground example