Some notes about what I think is the solution