hw6 b1 i nfa