Solid Reasoning