Coherent Logic

Let the magic begin!