see http://en.wikipedia.org/wiki/If_and_only_if