Line 139 talks about DyadicAdd, so using the superclass here won't be such a good idea.