Looks like @hyperbolicist hasn't commented yet!