Looks like @semisymmetric hasn't posted yet!