Formalise

The framing devices provide the linear structure