let $x = a | <1> $x in $x