Graybosch, A. J. Some Logic Helps. AT 2014, 4.