Looks like @biconvexity hasn't posted yet!