If * Hafre ~ *f