Given our directed graphical model as shown in the A side, the joint distribution on types, 
; a set of M tokens, 
; and their corresponding raw images, 
, factorizes as follows:
The three generative processes are type generation (
), token generation (
), and image generation (
), and are discussed with their pseudocode in the following diagram:
