al (ForAll v p) m e = and $ map (\a -> eval p m (M.insert v a e)) (subuniv m)
e
eval (ForAll v p) m e = and $ map (\a -> eval p m (M.insert v a e)) (subuniv m)
eval (ForAll v p) m e = and $ map (\a -> eval p m (M.insert v a e)) (subuniv m)