Draft 1 ADL Formalisation 280114