Product-free sets in the free semigroup. (January 2020)