Half way through the formalisation material.