Atop these constructions you want laws. The constructions alone only give you about 50% of the power. Laws help you control the multiple ways to interpret a str

Atop these constructions you want laws. The constructions alone only give you about 50% of the power. Laws help you control the multiple ways to interpret a structure (multiple theories). This is a great reason to steal things from abstract algebra: mathematicians have collected many great sets of laws.