allSatisfyN

doc

typos

whitespace