lie AL * IB*