### Predictions and SBC ![[ppc_sbc.png]] We provided a tool for users to define their model. Our goal in representing science and programming as the form of #operator, #operand, #example is to understand the two system structually. Structural representation of the model and format transformation is widely used in workflow. This includes, but not limited to: prior/posterior predictive checks, SBC, predictions based on new input data, and reparameterization. Integrate some portions of workflow into a PPL framework is our goal