Integration of dx upon