But is it enough to prove that it could produce any melody? After all, couldn't a binary adder produce every executable binary possible? Well, eventually, and with enough memory.