Tag: Formalisation of taxi operators