Introduction to Translation Checking