UTILITY(FORMAL × ACTIVE)