add exactness to logicmappings-form