Weighted proportionality with exclusions in bilateral claims problems | Synapse