General: how many dots are there on a pair of dice