>>106542596
yes, but they explicitly explain whatever invariants you are aiming to enforce, which then you can verify or scrutinize, rather than leaving it as an undocumented emergent property of multiple disjointed elements
>>106542584
well they did