yes, but the consistency problem would then be half-solved!