OUTPUT: removing debugging prints