STATE vs MINLATE