Also see Hartmann procedure