Implement Phase V (has_one_through)