Lukas Finnveden comments on Logical Optimizers

[Lukas Finnveden]

Ah, sorry, I misread the terminology. I agree.