the sticky ends of the double-stranded DNA encode individual propositions, and a clever loop-opening design implements inference rules. The example deductions are among the most complex synthetic ...