To understand the event "Larry just found out he has AIDS.", it is important to know that AIDS is identified by a blood test