Figure 3 shows examples of same-type sites for our three models.
even if all sites in S have the same type, we still cannot sample b S jointly, since changing one b s might change the type of another site s ; indeed, this dependence is reflected in (5), which shows that types depend on z.