for n being non zero Nat
for F being Tuple of n, BOOLEAN holds Absval F < 2 to_power n