All(A5_1, A5_2,A5_3)