Darboux integrability