Self-trust P by Keith Lehrer