--- /dev/null
+%************************************************************************
+%* *
+\section{The state of play}
+%* *
+%************************************************************************
+
+\ToDo{This section will describe the state of play: where
+functional-language compilers are; compared to their imperative
+cousins.}
+
+%The burden of proof remains with us functional programmers. We
+%encourage you to help solve this problem by contributing compiler
+%passes that optimise real programs written in a standard non-toy
+%language effectively.