We probably don't even need to show the `ambiguity` card in the notebook, presumably if they're downloading the notebook they have the expression they want.