Adding Vizi Examples