Where do sperm go after leaving the vas deferens?