revised/simplified StrongBinding with binary products: it works!