Example: 2TN bound to 2OTF