fixed typos, added new hypothesis condition