Mechanizing hypothesis formation | lit.salon