generated at
時相論理