ABSTRACT

q’ stands for ‘If p then q and if q then p’.