Experimenting with refinements