Отличия в операторах цикла с предпроверкой и постпроверкой условий ? pascal

В цикле с предпроверкой (с предусловием, while) тело цикла выполняется, пока условие истинно.
В цикле с постпроверкой (с постусловием, repeat - until) тело цикла выполняется, пока условие ложно.

Вопрос из серии "дай я погуглю за тебя". За минуту сам бы нашел.