linear_result(kitchen, [mill, mix, bake], [bread]).
linear_check(double_spend_rejected, yes).