(a.) Vaulted.