non-zero case for Cons2 proved
proved zero-case and combination for Cons2