@paddlefish Maybe counter, maybe just pushes it back a few layers. At best, it lets the developer push those explicitly stated assumptions back to the places where they’re actually worth stating (as opposed to “yes, I explicitly think that int plus int is int). At worst, they turn code into a Sudoku-like logic puzzle of a build error.