In 1995 Richard Stallman, a well-known critic of the patent system, testified in Patent Office hearings that, to test the system, a colleague of his had managed to win a patent for one of Kirchhoff’s laws, an observation about electric current first made in 1845 and now included in virtually every textbook of elementary physics.
Which of the following is the correct version of the sentence?