use enumerate package to produce a) b) ...
add table on verification strategy