There are many arbitrary rules in the English language, but the matrix of lie/lay/lain has got to be the dumbest.

I hope someday future generations can lay it to rest.