Formalise syntax