⌈welcome⌋ ⌈notion⌋ ------