pseudocode aligned