“Spraymix” being used in the manufacture of a concrete swimming pool.