Ex 8.5: unit + boolean + listOfN