.
all slots nleq