Clarified "optimal" --> "statically optimal"