If

 

vgl. Cond()