Looks like @algebraist hasn't posted yet!