agahinda gahindura imiterere ariko ntigashira keanu reeves in a dual way one defines properties for the preservation of infima