Verification cruft