Michael Riesman: Formal Abandon