I hurt...

A dream:

(AB) ---> (BC) 

The use of "or" is inclusive unless stated otherwise. 

T ---> S is equivalent to its contrapositive ~S--->~T. While ~S--->~T is a fallacy...

Up late studying...

I hurt...