posted a new topic in forum Short deduction due to inoperative PANs

view more