I guess they decided not to name themselves “Schengen”