Answer to Question m3-2

Notation. Use :, not cons.