A submodule for $ENGINE