i n^ st l * x i n f n.