Importing Lists for Verification