diff -r ae83e5b6b141 -r 22cd68da9ae4 quotient.ML