Changed phrasing of decidability