Which of the following alternative techniques is considered a Refinement method?

 using a tranquilizer for distressed animals during prolonged restraint periods

using a computer model

using healthy pathogen-free animals

all of the above