renamed file and added provide statement