x&xlt ^cXln finite /ii