value = '1' where y = x
                  x = ()