not card h > 0 and a >= 0 and z < x,
true => func() => x,
x and y <=> z or w <=> a and not b or c