Discussion about subin_cong