.
all slots wceq