Add exactness to the logic mappings