I wrote:

> Before bringing more examples of how the extraction rules are used, **let us** review the data extraction algorithm.

I know "let's" is not formal, but what about "let us" in written language. Which alternatives can be used instead of it?