some aux files for project with David