Introduction

Introduction — Theoretical introduction

FIXME

FIXME Testing