if true \a.a \b.b