Complete valid procedure