[
    "(a (lam ((a $0) (a $0))))",
    "(a (lam (($0 b) ($0 b))))"
]