is_sorted and is_sorted_until algorithms

Yes. Where am I trying to do that? Look again at what I wrote.