Type Checking V5.