Improved spec for countdown latch