Integration of the Universal Module Definition