Vig/Oberson proof

October 1st, 2019