Verify

tested to make sure things still compile after removing many files