allSatisfyN

doc

typos