Adding tautology section to splash page