New automatic rewrite: !s. POW s <> {}