Looks like @algebrageometry hasn't commented yet!