The article In Defense of Soundiness: A Manifesto appears in CACM 20 February 2015 by Ann Eg Mølhave In Defense of Soundiness: A Manifesto in CACM