If a logical framework validates both possible and impossible proposition-sets without distinction, ...