Finished initial implementation (including tests for most functions) for UL-7.