Colleagues high-fiving each other.