tut6: pushing files for the 'simple spec an'