Input travels to the past · Type Network