Towards Complete Normalisation