Update halls_of_reflection.h