machine_concret1 Phi_1_and_Phi_2