ARMNHMR and Synymata