De inf * :;