Retrochoir definitions