New features in logic