2 ms·

I like this example a lot. It also follows the sufficiency heuristic: in TP the order of the categories is exchangeable.