2 ms·FTA: ∀x:Add(x,0)=0 Whut? Shouldn't it be ∀x:Add(x,0)=x ?by discardorama 11y agoFTA: ∀x:Add(x,0)=0 Whut? Shouldn't it be ∀x:Add(x,0)=x ?phdpqc 11y agoUgh! That was silly... It's fixed now, thanks!