presuponer asentado