+## Condition Register Dynamic Binary Logic
+
+Add this section to Book I 2.5.1
+
+X-form
+
+| 0.5|6.10|11.15|16.20|21.30| 31| Form |
+|----|----|-----|-----|-----|---|----------|
+| PO | BT | BA | BB | XO | / | CRB-Form |
+
+* `crbinlog BF, BFA, BFB, msk`
+
+Pseudocode:
+
+```
+ lut <- CR[4*BFB+32:4*BFB+35]
+ idx <- CR[BT+32] || CR[BA+32]
+ CR[BT+32] <- lut[3-idx]
+```
+
+Special registers altered:
+
+```
+ CR[BT+32]
+```
+
+*Programmer's Note: just as with binlut and ternlogi, a pair
+ of crbinlog instructions followed by a merging crternlogi may
+ be deployed to synthesise dynamic ternary (LUT3) CR Field
+ manipulation*
+