fact: Definition be2_som3 := Neg (Ors (Ands (Ors (Ands (Neg (Var (Npos 11)) :: Neg (Var (Npos 10)) :: nil) :: Ands (Var (Npos 11) :: Var (Npos 10) :: nil) :: nil) :: Neg be2_cout2 :: nil) :: Ands (be2_cout2 :: Neg (Ors (Ands (Neg (Var (Npos 11)) :: Neg (Var (Npos 10)) :: nil) :: Ands (Var (Npos 11) :: Var (Npos 10) :: nil) :: nil)) :: nil) :: nil)).