If triangle ABC is translated one unit down-- so one unit down means that we're subtracting 1 from the y's-- and three units to the left-- so that means you're subtracting 3 from the x's-- to create triangle DEF, what are the coordinates of the vertices of DEF?