@tehn When the Implication Is Not to Designhttps://ics.uci.edu/~djp3/classes/2011_01_INF134/papers/impl9-rev.pdf