Begin work on composition formalisation.