In reply to MICRO_91: I think you are confusing not( always seq2 ) with always ( not seq2 ). They are not the same.