Solid Logic