2 ms·
That's the point, B=H(B) doesn't follow from H, it's a new independent construct, so you need an independent proof of its validity.
by GoblinSlayer 4y ago
That's the point, B=H(B) doesn't follow from H, it's a new independent construct, so you need an independent proof of its validity.