• @Kissaki
    link
    English
    39 days ago

    Seems like a valid formalization.

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