Tag: Laws on the Algebra of Statements