Integration of dx upon x