Dang autocorrect. “sideline” should be Dedekind