adds some model pseudocode