Title: Exploring Formalisation