Redirecting to https://docs.pcalc.org/articles/intro-to-presence-calculus…