Inga väntande lopp

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