Introduction to Translation Checking - Part 2