Moved some prose to the beginning of Applications