head reduction (ansatz)