[Lima logics]