Law Of Excluded Middle And Independence