Make invoke-correctness easier to understand.