superconsistency