We give a direct proof of the fact that every variety of many-sorted universal algebras is rationally equivalent to a variety of algebras over some FSet-multicategory (a many-sorted analog of FSet-operads). The construction ...