aff=FOL7DO