Working proof 1 for Waterfall