Theory Reasoning in Connection Calculi by C. Be'er, Peter Baumgartner & C. Beeri