, j : !X ! 



