Remove references to definitions
Add subsection `Properties of Poisson Processes`