modules used by JMATES (for work)