In what circumstances could nondaily preexposure prophylaxis for HIV substantially reduce program costs?