Tools Menu in Logic

What do you think?