What They Don't Make reference to About Friendly Verification