To understand the event "Larry just found out he has AIDS.", it is important to know that AIDS results from the action of the HIV virus