Experiments with logic