Omori, H. 2019. A Note on Ciuciura’s mbC1. Bulletin of the Section of Logic. 48, 3 (Oct. 2019), 161–171. DOI:https://doi.org/10.18778/0138-0680.48.3.01.