Text this: A proof of strong normalisation using domain theory