Hare lives under Michael's desk in CSE 3262. He runs through SMT queries at 50mph.