Type Checking V3.