Verification (or HDWK?: How Do We Know?)