insertion correct. quick, merge, heap left