PORTABLE definition using minimization