README: pseudocode.