Re: Algebraic Theories/Operads