INSERT_IN_ORDER 2 1 3
CHECK_IN_ORDER
FOLD
