Intent of right_side_invalid, right_side_invalid, +1

All 3 exact tests in this concept. Every test is marked by where it enters the hierarchy.