max.hpp doesn’t follow anyone yet