Rewrite logical operators references.
Substitute former overview page for cover.