Modules Logic