Nu Logic and DRS