forwarding arrows pointing to latches.