X / Y after exists