Looks like @semisymmetric hasn't commented yet!