Defined in [[James construction]].