After several phone screens (4) I was flown own to Apple's campus. Everything happened in one week. The on-site interview was long... It started at 9:15am and I left campus around 6:00pm. There were 15 separate 30 minute interviews. About 4 of them were personality type interview to assess whether or not I would be a good fit for the team I would work for, and the rest were all skill based interviews. Lots of questions about my skills with perl, Unix CLI, and Objective-C. There were lots of questions geared toward discovering my problem solving ability. I was asked to write lots of code on the white board and my knowledge was pushed to its limits. Everyone, however, was very kind and very bright. It was a whirlwind of a week.

A temporary hypothesis can be inserted into a proof sequence. However, if a temporary hypothesis T is inserted and eventually W is deduced from T and other hypotheses, then the temporary hypothesis needs to be discharged as T because the conclusion W is based on T. Therefore, the conclusion wff T