Introduction

TODO

notation: TODO

interpretation: TODO