usable rules (ansatz)