Name
? same_qed 0
? same_old 0
1