Solutions in differential topology simply must include one or two definitions which are building blocks to the given solution.
In other words, they don't have to reinvent the wheel of mathematics.
Note to self: I was doing it "right" all along.