Связь между constexpr и чистыми функциями

Я прав, что:

• Любая функция, определенная с помощью constexpr , является чистой функцией , а
• Любая чистая функция может быть и должны быть определены с помощью constexpr , если это не очень дорого для компилятора.

И если да, то почему функции не определены с помощью constexpr ]?