This is about the typification rules..