logics » in ufumSem.narii