• @[email protected]
    link
    fedilink
    English
    310 months ago

    Seems like a valid formalization.

    I think a or a few counter-examples would go a long way though.