Logic probes