This section documents some key design decisions.