Logic and design