symbolic resolutions