8.5.1 says EVENT_POST is an image-control statement. 8.5.6 doesn't describe any action that could be considered an image-control action. The closest it gets is to say that it updates the count atomically. Is EVENT_POST really an image-control statement?