7.0
Tautology II