[Libra-11] Satisfaction is Optimal (Ongoing)