Proper realizer for UIP