Logics, Semi-mat


v20240901