> 5 `choose` 3
10