Text this: Formalising the pi-calculus using nominal logic