:memo: Bool -> Boolean