The judge denied Storm’s previous argument that his programming of the software should be protected by the U.S. constitution.