Charles Matthews The game sequence as given has a couple of oddities. To me, looks like a mis-remembered joseki. Also is a bit passive for shape.
here is the sort of thing that can be argued either way. I think at is clearly better.
I would certainly feel like . Then is something one can assume. At that point the bulge play ought to leave White puzzled.