assert 1 + 1 == 2
assert 1 - 1 == 0
assert 1 * 1 == 1
assert nat(1 / 1) == 1
assert 1 % 1 == 0
assert 1 ** 1 == 1

assert 1 in [1, 2]
assert 1 in (1, 2)
assert 1 in {1, 2}
assert 1 in {1: 2}
assert 1 in 1..2