letdown x = lift 0
in $(x)