ShiftAndMatcher implemented