NNPJ-508 A Verification Project That Might Have Been Spoiled If I Pushed It One More Time