Faq 4.5: Sound Answers to Real Computer Questions