Example: 3WF bound to 4X1F