File:Diff Log Dyn Sys -- Figure 21 -- Thematization of Disjunction and Equality.gif