No vec is necessary for the facts.