B14: Supplementary Note for BRISM: Logical Consistency, Assumption Structure, and Non-Circularity Analysis | Synapse