Therefore, every output SP will have the form ``` assume sim_output = mem((rowaddr, inputs) -> {...}; ``` as opposed to the current convention ``` assume sim_output = mem((rowaddr, apogee_km, perigee_km) -> {...}; ```