We missed 6NT.
We play Lebensohl, so 2NT followed by 3NT by East would show 4cH and not extras.
Who should have done more?:
- West: bid 4NT quantitative after East's 3NT
- East: bid quantitative (2NT followed by 4NT ; I think that a direct 4NT would be for the minors)
- No-one: Preempts work