Answer to Question m3-18

Notation. Use head(A), not A->head, in equations. Use : instead of cons in equations.