Tag: sophia monad (lies of p) (1) results