See Section 5.1 for details.