let diff x y =
    if is_included x y then bottom else x