We show that a negation of tautology corresponds to a family of graphs without nowhere-zero group- and integer-valued flows.
