No match for "lean ada0 have". 2 match(es) for "lean (ada 0) have".