Implementation complete, not debugged