Complete discussion of FH bounds and their relationship to ATE_imp.