start formalising specialisation