Khi giao dịch với các nhà khai thác hợp lý, bạn chạy vào một hiện tượng gọi là "chập mạch."
Điều này có nghĩa rằng các biểu thức sẽ được đánh giá chỉ đến khi sự thật hay giả dối của các
biểu hiện toàn bộ có thể được xác định một cách rõ ràng. Kết quả là, các bộ phận sau của một logic
biểu hiện có thể không được đánh giá. Dưới đây là một ví dụ chứng minh ngắn mạch:
đang được dịch, vui lòng đợi..
