Inga väntande lopp

logiker har inga lopp som väntar på verifiering.