A Turing-inspired attempt to connect logic and causal discovery · Digg