Court Orders Algorithm to Forget Previous Ruling

Compliance cannot be verified without checking whether it remembers.