WINTER COMPILATION 2021

DROP (Extended Version)