debug partially done, TODO: main, experimental results