Did you know ... Search Documentation:
Example 2: avoiding non-termination