Experimenting with Virtus