Fixed 'lift' rewrite rule