logicpredicates