non-logical axioms / machine images ... September 11, 2014 chris valenti a pair of skis 2014.09.13 – 17