Logic Probes