Good point about time. Just for fun... Assume t0 < t1 Original: NOT(NOT(Main...

		roundsquare on March 29, 2010 \| parent \| context \| favorite \| on: If You Don't Have A Non-Mainstream Opinion, You Ca... Good point about time. Just for fun... Assume t0 < t1 Original: NOT(NOT(Mainstream(t0))) ==> NOT(Succesful(t1)) Contrapositive: Successful(t1) ==> NOT(Mainstream(t0)) Edit: Small edit for clarity and spelling.