"We never fully grasp the import of any true statement until we have a clear notion of what the opposite untrue statement would be."