cond

validity conditions