logical consequences