Looks like @shafarevich hasn't commented yet!