Why Ramify?

Published in: Notre Dame J. Formal Log. (2015)