wexH & * ~r * * * * **