Simplify al_3+F