michael and I worked on user