Secret envelopes and inferential tautologies