s/satisfies 3 or 4 above/satisfies #3 or #4 above/