Dependent consistent inconsistent systems. Bcb50. 松田 家 志木.

Swertres result feb 2022.