Mathematical Solidifcation