proper indeterminancy
fixup