Normalisation in Practice