 Thus, the logic of an algebraic test space is an orthoalgebra. One can show that, conversely, every orthoalgebra arises as the logic \(\Pi(\mathcal{A})\) of an algebraic test space \(\mathcal{A}\) (Golfin [1988]). Note that non-isomorphic test spaces can have isomorphic logics.