WfctT-Wa \ \ ar\