Similar Items: Computation by infinite descent made explicit