This is  using a copy constructor in comparison to the previous examples using an explicit move constructor because we're reusing another fact's value, correct?