Basic claim verification works (and some tests).