krause.tex: Eq rel on fractions, sans transitivity.