Search the corpus

    Strict maximum principle, real version

    PR-6WOTK