Johnson2016 - proof - leifbrandt