"If I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"
"If I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"
This is a nontheorem, since I could be doing wrong. To make it a theorem, change the if-part to "If what I'm doing is all right."
"If I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"
This is a nontheorem, since I could be doing wrong. To make it a theorem, change the if-part to "If what I'm doing is all right."