Right the same way the type checker should check the type checker.