started section on morse theory, added proof that twist isn't id