INSERT_IN_ORDER 1 3 2
CHECK_IN_ORDER
FOLD
