avoid memory leak
new way to distribute
failing property because  a && (b == ...)