Do non-trivial Skolem squares exist?

previous post