Verification in an age of mobile missiles | lit.salon