Showing structure for L-Olivil