Computing truths cost time and energy.
Beliefs save time and energy.