-- 常に「いつかはworkingになる」チャンスがあることを保証する制約 
FAIRNESS st1 = working 
FAIRNESS st2 = working
