challenge: What do some authors do when considering signals in the context of model checking?
  
  A. They consider all possible signals without restriction
  B. They restrict the kind of signals they consider based on their frequency
  C. They restrict the kind of signals they consider based on their amplitude
  D. They restrict the kind of signals they consider based on their properties
  Answer: 