Flushing between facts and violations