more documentation (flatMap, seq2, satisfies)