A "recall" is a type of shell that labels itself as a "hint" using the attribute the LDE respects for hints, so that validation will treat it as one. A hint is an instantiation of a rule of inference, which can help the LDE not have to figure out how to find the instantiation on its own. This can be useful for some rules that are very time consuming to instantiate in all possibly relevant ways.