Looks like @condorcet hasn't posted yet!