-=Dark_Angel=-, P.I.18 Nov 2004

I must also hasten to add that there is no such operation as "reversing the elements of a proposition." Perhaps you mean "switching the order of the variables in an application of a dyadic predicate."