Work on re_example and others