use CondEmpty in example