silversoul7 hates how redundant tautologies are so redundantly tautological.