ens17-1-presupposition