This is what Victor, Paul, and I worked on