Right, then. Time to write something up.