To understand the event "John had to write a paper for school.  John used her computer to type up the paper.", it is important to know that type up could better be replaced with typed