#local l1 phil_0.(one0 == 1)
#local l2 phil_0.(eat0 == 0)
EF(l1 && EG(l2))