Text this: Structure of probability theory with