initial efforts at calculating the algebra of the truth object