procedure verification