Adding Michael's files to the repository