Experiments in topology by Stephen Barr