Consider the following premises. Jessica is not poor. If Jessica were poor, then it is late. If it is late, then Jessica is poor. Can we infer the following from them? If we can, name the inference rule being used: It is not late.
 From the fact that if it is late, then Jessica is poor, and that if Jessica were poor, then it is late we can infer that it is late if and only if Jessica is poor via biconditional introduction. Finally, from the fact that it is late if and only if Jessica is poor, and that Jessica is not poor we can infer that it is not late via biconditional elimination. Therefore, the answer is yes.