Stichworte: assumes