updates
tweaks to outsrc proof