Changes in def. of contortion, notation improved