Functionnal Rekishi annotations