more computational encoding of probability theory