* Overall implementation done, largely untested