Experimenting with Synthesis