[HYR 335765*] Satisfy ...