0≢1 and [inl:,inr:]