Verifying Environment