Are satisfiability and gravity related? I'm reading scholze and i seriously doubt quantum mechanics and general relativity will ever be unified.