1. Introduction

See Section 1.1.

1.1. Setup

As seen in Section 1, we proceed.