add implementation-notes.txt and model.txt