Small things - just provide more info on alternative LeftTail definitions