This is more consistent with the proofmode, where we also call it pure.