What other verification targets did you consider?