Showing structure for val-pro-pro