AvaRisk is installed.