Correct resolutions for nonassociative tokens