version 5.2.0. Functions in negations