somewhat shorter intor
small shortenings in the introduction