all code complete; need to check correctness