A Four-Variable Word Problem