WYRL: the rewrite complexity is now working.
WYRL: ok, we're making progress ...