Looks like @algebraist hasn't commented yet!