Logic and more