[ [!-- Note --]

84 ([return])
[ The badge of a steward.]

[ [!-- Note --]

85 ([return])
[ Spies.]

[ [!-- Note --]

86 ([return])
[ Lot.]

[ [!-- Note --]

87 ([return])
[ For Plutus.]

[ [!-- Note --]

88 ([return])
[ Quick steps.]