simple lcd examples for Mizar32.