Why Is Solidcore So Hard