Ukkone "complete", but not actually linear. Need to find bugs/verify correctness.