Structure -- $ |B = ( {{ tt, ff }}, {{ \neg, /\, \/ }} )$

$|B$



slide: Structure and interpretation