inae . ▁Ann als ▁of ▁the ▁Natal ▁Museum . ▁ 2 9 ( 1 ): ▁ 1 6 7 - 3 2 0 ▁ ▁External ▁links ▁▁▁ ▁ang ul ata ▁Category : G ast rop ods ▁described ▁in ▁ 1 9 8 8 <0x0A> </s> ▁In ▁struct ural ▁proof ▁theory , ▁the ▁nested ▁sequ ent ▁calculus ▁is ▁a ▁reform ulation ▁of ▁the ▁sequ ent ▁calculus ▁to ▁allow ▁deep ▁inference . ▁ ▁Category : Proof ▁theory ▁Category : Log ical ▁calcul i <0x0A> </s> ▁The ▁United ▁States ▁House ▁of ▁Representatives ▁elections ▁in ▁Oregon , ▁ 2 0 0 6 ▁were ▁held ▁on ▁November ▁ 7 , ▁ 2 0 0 6 ▁to ▁select ▁Oregon ' s ▁represent atives ▁to ▁the ▁United ▁States ▁House ▁of ▁Representatives . ▁All ▁five ▁seats ▁were ▁up ▁for ▁election ▁in ▁ 2 0 0 6 , ▁as ▁they ▁are ▁every ▁two ▁years . ▁All ▁five ▁inc umb ents ▁were ▁re - elect ed , ▁four ▁of ▁them ▁by ▁large ▁marg ins ; ▁only ▁the ▁ 5 th ▁district ▁was ▁somewhat ▁compet itive . ▁ ▁Over view ▁ ▁District ▁ 1 ▁ ▁Democratic ▁primary ▁ ▁C andid ates ▁ ▁Results ▁ ▁Republican ▁primary ▁ ▁C andid ates ▁ ▁Results ▁ ▁General ▁election ▁ ▁C andid ates ▁ ▁Results ▁ ▁Inc umb ent ▁Democratic ▁Congress man ▁David ▁Wu ▁has ▁represented ▁this ▁liberal - lean ing ▁district ▁based ▁in ▁north western ▁Oregon ▁and ▁part ▁of ▁Port land . ▁This ▁year , ▁Congress man ▁Wu , ▁seeking ▁his ▁fourth ▁term , ▁cr ushed ▁Republican