(That setup time is just the flop and not accounting for any internal clock skew, which should be minimal)