Indeed I overlooked that 'doubleanaldildo' was in anal categories already. I guess that's what I get for constructing code based on truth tables but not ever testing it.
