verification of ACKs