{-# htermination intersect :: [Bool] -> [Bool] -> [Bool] #-}
import List