Independence friendly logic