  We construct a projection operator on an unbounded worm domain which maps
subspaces of $W^s$ to themselves. The subspaces are determined by a Fourier
decomposition of $W^s$ according to a rotational invariance of the worm domain.
