Comment by donmatito

They are just asserting the intent, not the result.