HD 2013 The Joy of Logic