Computation with probes and goals · Study