Why are INTp types in need of their dual (ESFp)?