# Reasoning records whose kind is loop

> 1 record

This index as JSON: https://banes-lab.com/json/api/facets/reasoning/kind/loop

## Entries

- [Derivation Loop](https://banes-lab.com/records/reasoning/loop-derivation-loop.md): The derivation loop runs through 10 stages, from Orient to Terminate.