kave comments on Natural Latents: The Math

[kave]

For e2 I think you want ((b∧c)=>a)∧(d =>((a=b)∧(a=c)))

[Morpheus]

Oops!