Looks like @shafarevich hasn't posted yet!