Refer to src/PATENTS.