A (weak) concept of product keys in Go!