276 Refined Criteria for Gradual Typing 2