[pyre]

That's a good generic overview but doesn't hit how the code handles the edge-cases.