added assignment2 for theory class
IMAGINE IF I FORGOT TO COMMIT?