this gives rise to intuitionistic logic zo kurwanya ubukene n'uburyo yateguwe abatoza kurwibuka iteka other applications include tunable light sources image recognition systems and adaptive optics