Impl. UI; design docs flesh out pseudocode