In reply to @stecks

@stecks A model of mathematics is either complete or condescending. #ChangeOneWordAndRuinATheorem