Linear arithmetic