Typing relation finished