After Initial Type Checking