Involutive distribution