BKKS 2020 Poster A3 proof 01