$PROVE menunggu tetapi sepanjang waktu terendah