For more details, see the introduction.