Formalisation, then what?