This is because HAART does not attack latently infected HIV cells, which can reactivate. The EHV-1 virus can latently infect horses and can reactivate if appropriate conditions appear. This represents the latently finite potentials in the Ein Sof. Coronary collateralization exists latently in the normal heart. An example latently typed language is Scheme.