Looks like @shafarevich hasn't received any replies yet!