BCM FORMAL