The 'KABI' conjecture states that double relative K-theory and cyclic homology agree, at least in characteristic zero. We show that K2(A, B, I) maps onto HC1(A, B, I) whenever A B is a map of Q-algebras and I BIB. We also reinterpret the KABI conjecture in terms of the injectivity of the inverse limit of the map from NK(A, B, I) to the inverse limit of the truncated polynomial versions of NK(A, B, I). 1989 Kluwer Academic Publishers.