Logic basics.