Telefona gönder: Lógica de primer orden