Drop, elimination, and gravity logic