Anne-Marie & James Arthur - Rewrite The Stars [from The Greatest Showman: Reimagined]
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. The objects of focus for this article include rewriting systems. In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.