โ›บ
๐Ÿ”— โš™๏ธ

CEC from Static Logic by Static Logic