A coworker and I were talking about this today. We think preconditions, invariants, and postconditions are less intuitive than recursion and base cases. We are aware that recursions and iterations are dual, we just seem to like the recursions better.