finished test_simple_replace; finished test of property 4 on wikpedia; about to do property 5