Θα ψάξεις να βρεις αν υπάρχουν δυο διαδοχικά στοιχεία τα οποία δεν είναι στη σειρά που θέλεις. Αν βρεις τέτοιο αντιπαράδειγμα θα θέσεις μια λογική μεταβλητή ΑΥΞΟΥΣΑ με τιμή ψευδής. Στην αρχή η λογική αυτή μεταβλητή θα είναι αληθής. Αν δεν βρει στοιχεία τα οποία να μην είναι σε αύξουσα σειρά θα παραμείνει αληθής αλλιώς αν βρει έστω και ένα θα γίνει ψευδής.
Αυτή είναι η βασική ιδέα.