Summer research project: to identify new formalisations in academic research