Do not stringify substitions on resolution