Added bound checking and non-overlappability to the arrow