Rock-Solid Logic