more StrongBinding code: towards binary products