Open Preferences in Logic

What do you think?