fix 1: comment and rename Flambda.same