1 problem

Let a UCF simplicial model be a simplicial model in the class called UCF in the paper, and let $d53f$ be the logic consisting of propositional logic together with the…