Code-complete for push events, minus testing