makinson-splitting-lang.pdf