http://en.wikipedia.org/wiki/Vacuous_truth