changed `fun` to `lambda`