vanishing requirements added, some typos fixed