Change UI specification to use psuedocode.