added symbolic intersection