Why qualify it with if? We can’t reason our way to a definition that was made outside?