Elementary probability on finite sample spaces
