generated at
Python:論理型