logicexp
