Если исключить то, что невозможно, все что останется, должно быть истиной.