Telefona gönder: Formal logic: