As described above, we compute u final in a modular fashion: each layer has an accompanying function that computes bounds on its outputs given bounds on its inputs.
we can easily apply IBP to new architectures.