BIA - FORMAL