extra debugging info
lazy greedy still not efficient