formal investigations