Move implementation details to the introduction