A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions