wf 1^11 * ^1 1[