leafs -> leaves
Show how lambda_tuple works