by tommywallach Fri Sep 18, 2015 8:30 pm
The statement says that the only way the sandwich WILL NOT have G is if there's T.
That means if you do not have G, you must have had T (because you know that the only thing that would keep you from having G is having T). Thus, -G --> T.
-t