The vertices of triangle ABC are A(2, 1), B(3, 4), and C(1, 3). If triangle ABC is translated 1 unit down and 3 units to the left to create triangle DEF, what are the corrdinates of the vertices of triagle DEF?
D(0, 1), E(1, 2), F(1, 3)
D(0, -1), E(0, 3), F(-2, -2)
D(-2, 2), E(0, 3), F(-1, 0)
D(-1, 0), E(0, 3), F(-2, 2)