making more explicit the conditions for  and