SMS dit: Fixed point theorems.