Deakstadieđáhus: Structure of probability theory with