[math-fun] 3 was not Dedekind's lucky number