pi1(s1) informally
pi1(s1) informally