use THEN to get file to compile