Making it consistent with Algebras and Modules