Empirical explorations of the logic theory machine | lit.salon