Comments on the non-surjectivity of the differential.
todo updated