union specification security + booked-tickets + bill-for-user + unprocessed-orders end union specification