Consider the following premises. If Jessica listens to a song, then it is late. If it is late, then David is an artist. David is an artist if and only if Jessica is listening to a song. Can we infer the following from them? If we can, name the inference rule being used: Jessica is listening to a song if and only if it is late.
 From the fact that David is an artist if and only if Jessica is listening to a song we can infer that if David were an artist, then Jessica is listening to a song via biconditional elimination. From the fact that if it is late, then David is an artist, and that if David were an artist, then Jessica is listening to a song we can infer that if it is late, then Jessica is listening to a song via transitivity. Finally, from the fact that if Jessica listens to a song, then it is late, and that if it is late, then Jessica is listening to a song we can infer that Jessica is listening to a song if and only if it is late via biconditional introduction. Therefore, the answer is yes.