#local l1 PhoneHandler[1].(dialed_state == 2)
#local l2 PhoneHandler[2].(phone_state == 0)
#local l3 PhoneHandler[1].!(connect_state == 2)
EF((l1 && l2) && EG(l3))