add parameter to GetImplications method