Layers of Logic