Conclusions which are tautologies are always valid