Removed Caveat with MinSatz