PBE Lights Out example