Event Logic Implemented