Why proportions1 here? The framework can deal with arbitrarily-dimensional proportions if we want to, or we can concretize it later.