 To get a precise answer on which hyperintensional distinctions the framework can make, one needs a full-fledged truthmaker assignment to all sentences of the target language. Yablo gives two “semantic pictures”, a reductive and a recursive one, which pull in different directions. We take the recursive route, which relies on van Fraassen (1969) and is found more plausible by some (e.g., Hawke 2018; Fine 2020), and leave the details to a consultation of Yablo (2014: 56–9). In a plain sentential language: when \(A\) is an atomic formula \(p\) one can assign it some truthmaker \(\{p^+\}\) and falsemaker \(\{p^-\}\). Negation flips: For \(A = {\sim}B\), what truthmakes \(A\) is what falsemakes \(B\) and vice versa. For \(A = B \land C\), what truthmakes \(A\) is the union of what truthmakes \(B\) and what truthmakes \(C\); what falsemakes \(A\) is what either falsemakes \(B\) or falsemakes \(C\). For \(A = B \lor C\), we flip the truth- and falsemakers of \(B \land C\). Then, e.g., \(p \land q\) is made true by \(\{p^+, q^+\}\), false by \(\{p^-\}\) and by \(\{q^-\}\); \(p \lor q\) is made true by \(\{p^+\}\) and by \(\{q^+\}\); false by \(\{p^-, q^-\}\).