1. Introduction

TODO.

1.1. Goals

TODO.

1.2. Non-goals

TODO.