logic01: regressions

regressions