Solid logic