pseudocode — Decagon