semi-completed: trace isn't working at 100% correctness