High-level summary: