Logic and Logic and brain teasres