Skip Navigation

You're viewing a single thread.

4 comments
  • Seems like a valid formalization.

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