(lp0
((lp1
g0
atp2
a.