Correspondence, invariance and heuristics: In praise of conservative induction · Study