forward
Head
Inl
Inr
IsInl
Tail