20 ducks are swimming in a lake. 13 ducks leave. How many ducks are swimming in the lake?