Temporary stuff for probability theory.