Comment by kdavis

What other verification targets did you consider?