A presentation at NOVA Software Quality Engineering and Automation Meetup in July 2017 in Reston, VA, USA by Jonathan Miller Kauffman