none(2, 3) * any(2, 3) == 4
# autothreading über den *, zweites Argument
=> none(2 * any(2, 3), 3 * any(2, 3)) == 4
# autothreading über den *, erstes Argument
=> none(any(2*2, 2*4), any(3*2, 3*3)) == 4
# autothreading über das ==
=> none(any(4, 8) == 4, any(6, 9) == 4)
=> none(any(4 == 4, 8 == 4), any(6 == 4, 9 == 4))
=> none(any(True, False), any(False, False))