lean的过去式是什么