Probability as a Basic Modeling Language · HackerTrans